Box-Structured Methods for Systems Development with Objects
نویسندگان
چکیده
a n d c o m b i n e t h e a d v a n t a g e s o f s t r u c t u r e d d e v e l o p m e n t w i t h t h e a d v a n t a g e s o f o b j e c t o r i e n t a t i o n . A s d a t a a b s t r a c t i o n s b e c o m e m o r e c o m p l e x , t h e b o x s t r u c t u r e u s a g e h i e r a r c h y a l l o w s s t e p w i s e r e f i n e m e n t o f t h e s y s t e m d e s i g n w i t h r e f e r e n t i a l t r a n s p a r e n c y a n d v e r i f i c a t i o n a t e v e r y s t e p . A n i n t e g r a t e d d e v e l o p m e n t e n v i r o n m e n t b a s e d o n b o x s t r u c t u r e s s u p p o r t s f l e x i b l e o b j e c t b a s e d s y s t e m s d e v e l o p m e n t p a t t e r n s . W e p r e s e n t a c l a s s i c e x a m p l e o f o b j e c t b a s e d s y s t e m s d e v e l o p m e n t u s i n g b o x s t r u c t u r e s . S y s t e m a n d s o f t w a r e d e v e l o p m e n t o r g a n i z a t i o n s f a c e d i f f i c u l t d e c i s i o n s w h e n s e l e c t i n g d e v e l o p m e n t m e t h o d o l o g i e s . C o m p l e x d e v e l o p m e n t p r o j e c t s r e q u i r e f o r m a l m e t h o d s f o r t h e i n t e l l e c t u a l c o n t r o l o f t h e p r o c e s s a n d t h e r e s u l t i n g s y s t e m p r o d u c t . A f t e r m a n y y e a r s o f s t r i v i n g t o a c h i e v e t h e p r o v e n b e n e f i t s o f s t r u c t u r e d a n a l y s i s a n d d e s i g n m e t h o d s ( e . g . , S t r u c t u r e d A n a l y s i s a n d S t r u c t u r e d D e s i g n , 1 J a c k s o n S y s t e m D e v e l -
منابع مشابه
Development of a Robust Observer for General Form Nonlinear System: Theory, Design and Implementation
The problem of observer design for nonlinear systems has got great attention in the recent literature. The nonlinear observer has been a topic of interest in control theory. In this research, a modified robust sliding-mode observer (SMO) is designed to accurately estimate the state variables of nonlinear systems in the presence of disturbances and model uncertainties. The observer has a simple ...
متن کاملObjects Identification in Object-Oriented Software Development - A Taxonomy and Survey on Techniques
Analysis and design of object oriented is onemodern paradigms for developing a system. In this paradigm, there are several objects and each object plays some specific roles. Identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. This paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. The f...
متن کاملThe Jackson Development Methods
The Jackson Development Methods are JSP (Jackson Structured Programming) and JSD (Jackson System Development). JSP is a method for designing programs as compositions of sequential processes; JSD is a method for specifying and designing systems whose application domain has a strong temporal flavour and contains objects whose behaviour is describable in terms of sequences of events. Many program ...
متن کاملApplication of Rough Set Theory in Data Mining for Decision Support Systems (DSSs)
Decision support systems (DSSs) are prevalent information systems for decision making in many competitive business environments. In a DSS, decision making process is intimately related to some factors which determine the quality of information systems and their related products. Traditional approaches to data analysis usually cannot be implemented in sophisticated Companies, where managers ne...
متن کاملSymplectic and symmetric methods for the numerical solution of some mathematical models of celestial objects
In the last years, the theory of numerical methods for system of non-stiff and stiff ordinary differential equations has reached a certain maturity. So, there are many excellent codes which are based on Runge–Kutta methods, linear multistep methods, Obreshkov methods, hybrid methods or general linear methods. Although these methods have good accuracy and desirable stability properties such as A...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IBM Systems Journal
دوره 32 شماره
صفحات -
تاریخ انتشار 1993